4

Weak Second-Order Arithmetic and Finite Automata

Year:
1960
Language:
english
File:
PDF, 1.51 MB
english, 1960
5

Turing-machines and the Entscheidungsproblem

Year:
1962
Language:
english
File:
PDF, 930 KB
english, 1962
9

Definability in the Monadic Second-Order Theory of Successor

Year:
1969
Language:
english
File:
PDF, 538 KB
english, 1969
10

Logic, Arithmetic, and Automataby Alonzo Church

Year:
1964
Language:
english
File:
PDF, 219 KB
english, 1964
13

Model Theoretic Approaches to Definability

Year:
1972
Language:
english
File:
PDF, 662 KB
english, 1972
14

DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2

Year:
1983
Language:
english
File:
PDF, 1.37 MB
english, 1983
17

Large convex sets in oriented matroids

Year:
1988
Language:
english
File:
PDF, 653 KB
english, 1988
19

The theory of proportionality as an abstraction of group theory

Year:
1955
Language:
english
File:
PDF, 519 KB
english, 1955
20

Regular canonical systems

Year:
1964
Language:
english
File:
PDF, 1.21 MB
english, 1964
21

Coding in the existential theory of concatenation

Year:
1987
Language:
english
File:
PDF, 348 KB
english, 1987
22

Jordan circuits of a graph

Year:
1971
Language:
english
File:
PDF, 573 KB
english, 1971
23

Definibility in normal theories

Year:
1973
Language:
english
File:
PDF, 385 KB
english, 1973
25

Variations on a theme of cantor in the theory of relational structures

Year:
1973
Language:
english
File:
PDF, 854 KB
english, 1973
28

Alternative, non-toxic chromates meet military aircraft specs

Year:
2007
Language:
english
File:
PDF, 1.00 MB
english, 2007
30

A Remark on Boolean Algebras with Operatorsby Hugo Ribeiro

Year:
1953
Language:
english
File:
PDF, 199 KB
english, 1953
31

Naive Set Theoryby Paul R. Halmos

Year:
1961
Language:
english
File:
PDF, 109 KB
english, 1961
33

State-Strategies for Games in$F_{\sigma\delta} \bigcap G_{\delta\sigma}$

Year:
1983
Language:
english
File:
PDF, 1.62 MB
english, 1983
34

Finite Automata, Their Algebras and Grammars ||

Year:
1989
Language:
english
File:
PDF, 43.01 MB
english, 1989
35

Die Axiomatischen Grundlagen Einer Allgemeinen Theorie des Messensby J. Pfanzagl

Year:
1960
Language:
english
File:
PDF, 179 KB
english, 1960
36

Boolean Algebras with Operatorsby Bjarni Jónsson; Alfred Tarski

Year:
1953
Language:
english
File:
PDF, 365 KB
english, 1953
39

Die Axiomatischen Grundlagen Einer Allgemeinen Theorie des Messens J. Pfanzagl

Year:
1960
Language:
english
File:
PDF, 112 KB
english, 1960
40

The Basic Concepts of Mathematicsby Karl Menger

Year:
1957
Language:
english
File:
PDF, 175 KB
english, 1957
42

Decision methods in the theory of ordinals

Year:
1965
Language:
english
File:
PDF, 315 KB
english, 1965